51![CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5 CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5](https://www.pdfsearch.io/img/e80a5b40c92dd73c5cfbd36e66560f1b.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-05-19 12:03:26
|
---|
52![Monoidal Categories, Graphical Reasoning, and Quantum Computation Lucas Dixon and Aleks Kissinger CAM-CAD 2009 Abstract Graphs provide a natural mechanism for visualising many algebraic Monoidal Categories, Graphical Reasoning, and Quantum Computation Lucas Dixon and Aleks Kissinger CAM-CAD 2009 Abstract Graphs provide a natural mechanism for visualising many algebraic](https://www.pdfsearch.io/img/022af7dc1e9c40df92bdd3f3c5a03018.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-10-07 05:38:09
|
---|
53![Plans, Actions and Dialogues using Linear Logic Lucas Dixon, Alan Smaill, Tracy Tsang 13 Dec 2007 Lucas Dixon Plans, Actions and Dialogues using Linear Logic Lucas Dixon, Alan Smaill, Tracy Tsang 13 Dec 2007 Lucas Dixon](https://www.pdfsearch.io/img/3efb5771f0b2f36c066377bb4f29c48b.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2007-12-13 07:44:33
|
---|
54![IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ? IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ?](https://www.pdfsearch.io/img/56b015a9bf990907455cbe7845c472ba.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-01-25 09:29:34
|
---|
55![Value as a Moderator in Subjective Well-Being Shigehiro Oishi Ed Diener Eunkook Suh Richard E. Lucas Value as a Moderator in Subjective Well-Being Shigehiro Oishi Ed Diener Eunkook Suh Richard E. Lucas](https://www.pdfsearch.io/img/7316a71f6a8017a5c61c68e40b9cb2ef.jpg) | Add to Reading ListSource URL: people.virginia.eduLanguage: English - Date: 2002-11-12 18:57:50
|
---|
56![Beyond the Hedonic Treadmill Revising the Adaptation Theory of Well-Being Ed Diener Richard E. Lucas Christie Napa Scollon Beyond the Hedonic Treadmill Revising the Adaptation Theory of Well-Being Ed Diener Richard E. Lucas Christie Napa Scollon](https://www.pdfsearch.io/img/53890f1be03d372fa8d69a8410ba3821.jpg) | Add to Reading ListSource URL: www.wisebrain.orgLanguage: English - Date: 2011-03-01 05:47:57
|
---|
57![2010; 32: 971–976 Medical students’ use of Facebook to support learning: Insights from four case studies KATHLEEN GRAY, LUCAS ANNABELL & GREGOR KENNEDY The University of Melbourne, Australia 2010; 32: 971–976 Medical students’ use of Facebook to support learning: Insights from four case studies KATHLEEN GRAY, LUCAS ANNABELL & GREGOR KENNEDY The University of Melbourne, Australia](https://www.pdfsearch.io/img/7394191d781079cf739d3a73bc49baf4.jpg) | Add to Reading ListSource URL: www.currexec.mvm.ed.ac.ukLanguage: English - Date: 2011-04-15 10:03:02
|
---|
58![Wave Powered Desalination. Stephen H Salter*, Joao MBP Cruz, Jorge AA Lucas, Remy CR Pascal. Institute of Energy Systems, School of Engineering and Electronics, University of Edinburgh. Mayfie Wave Powered Desalination. Stephen H Salter*, Joao MBP Cruz, Jorge AA Lucas, Remy CR Pascal. Institute of Energy Systems, School of Engineering and Electronics, University of Edinburgh. Mayfie](https://www.pdfsearch.io/img/0fd364bf9395a5cb182fbf01a3990ec6.jpg) | Add to Reading ListSource URL: www.see.ed.ac.ukLanguage: English - Date: 2007-03-16 08:07:07
|
---|
59![](/pdf-icon.png) | Add to Reading ListSource URL: www.ed-megep.frLanguage: French - Date: 2013-10-28 06:39:53
|
---|
60![](/pdf-icon.png) | Add to Reading ListSource URL: epp-ed.euLanguage: Portuguese - Date: 2008-05-20 11:37:07
|
---|